ocr: Mahenaticatm ReWrite Cleaname no - equivalent - not needed Ihs :=hs Ihs ->rhs; lhs =hs/icondition Ihs: - conditionrhs; X (parameter on left) X X type x:type X - (double underscore on left) xl, - x2 (no direct equivalent) X (triple underscore on left) X Sequencar@@n night) X X (a symbol) X
